Beta - binders for biological quantitative experiments 1
نویسندگان
چکیده
This paper focuses on Beta-binders, a language of processes with typed interaction sites which has been recently introduced to represent biological entities. Here the syntax and semantics of Beta-binders are enriched to achieve a stochastic version of it, in order to obtain quantitative measures on biological phenomena. The relevance of quantitative reasoning is outlined running a biological example.
منابع مشابه
Beta-binders with Biological Transactions
In this work we propose an extension of Beta-binders with biological transactions, called TBeta-binders, in order to model a sequence of elementary actions atomically. This extension is useful when we need to specify multi-reactant multi-product reactions or when we use a sequence of actions to represent a single biological interaction. Some properties of these transactions are reported. Finall...
متن کاملOn the decidability and complexity of the structural congruence for beta-binders
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a structural congruence. The treatment of the structural congruence is essential for implementation. We present a subset of the calculus for which the structural congruence is decidable and a subset for which it is also effi...
متن کاملModeling Static Biological Compartments with Beta-binders
We investigate the modeling of biological systems with static compartments through Beta-binders, a recently developed process calculus. Biological entities are represented as bio-processes and the calculus is extended with the notion of compartment. Entities can either be internal to compartments or reside on compartment borders. Movement in and out of compartments is requested by internal obje...
متن کاملSingle-domain antibody fragments with high conformational stability.
A variety of techniques, including high-pressure unfolding monitored by Fourier transform infrared spectroscopy, fluorescence, circular dichroism, and surface plasmon resonance spectroscopy, have been used to investigate the equilibrium folding properties of six single-domain antigen binders derived from camelid heavy-chain antibodies with specificities for lysozymes, beta-lactamases, and a dye...
متن کاملA Parallel Beta-binders Simulator
Beta-binders is a comparatively new modeling formalism introduced for systems biology. To execute Beta-binders models, suitable simulators are required which translate the operational semantics of Beta-binders into a sound and efficient execution. Efficiency can be reached by parallel and distributed simulation and by a proper representation of models to ensure a fast manipulation. Both possibi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006